# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit eutils

MY_P="mona-1.4-13"
MY_S="${WORKDIR}/mona-1.4"
DESCRIPTION="MONA is a tool that translates formulas to finite-state automata."
HOMEPAGE="http://www.brics.dk/mona/"
SRC_URI="http://www.brics.dk/~amoeller/mona/download/${MY_P}.tar.gz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"

IUSE=""
DEPEND=""

src_unpack() {
	unpack ${A}
}

src_compile() {
	local myconf="--prefix=/usr --enable-malloc"

	cd ${MY_S}
	econf || die
	emake || die
}

src_install() {
	local myconf="DESTDIR=${D}"

	cd ${MY_S}
	emake ${myconf} install || die
}
